Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Lukasz Kaiser
ISBN 13: 9783642228063
Format: Paperback (130 pages) Publisher: Springer Published: 22 Jul 2011
Save for later